Object Constraint Language - PDFSEARCH.IO - Document Search Engine

Object Constraint Language
Results: 132

#	Item
101	Introduction to the Process Specification Language Conrad Bock U.S. National Institute of Standards and Technology April 7, 2009 Add to Reading List Source URL: www.conradbock.org Language: English - Date: 2009-04-01 13:38:23 ISO standards Systems science Knowledge representation Ontology Data modeling Process Specification Language Enterprise modelling Process modeling Object Constraint Language Systems engineering Unified Modeling Language Science
102	[removed]Ch01.qxd[removed]:47 PM Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 22:16:26 Software development Executable UML Model-driven architecture Profile UML Partners Object Management Group Object Constraint Language XML Metadata Interchange Metamodeling Unified Modeling Language Software engineering Data modeling
103	Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1 Achim D. Brucker1 , Matthias P. Krieger2 , and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:42 Formal languages Model theory Data types Type theory Models of computation Object Constraint Language Null ECO Interpretation Logic Mathematics Software engineering
104	A Specification-Based Test Case Generation Method for UML/OCL Achim D. Brucker1 , Matthias P. Krieger2,3 , Delphine Longuet2,3 , and Burkhart Wolff2,3 1 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:21 Object Constraint Language Programming language semantics Software ECO Symbol Unified Modeling Language
105	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
106	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
107	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
108	Report on the Aachen OCL Meeting Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, and Burkhart Wolff Abstract. As a continuation of the OCL Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-12-01 10:30:12 Software ECO KeY Programming language Type system C++ Object Constraint Language Software engineering Unified Modeling Language Computing
109	Introduction to the Process Specification Language Conrad Bock U.S. National Institute of Standards and Technology April 7, 2009 Add to Reading List Source URL: conradbock.org Language: English - Date: 2009-04-01 13:38:23 ISO standards Systems science Knowledge representation Ontology Data modeling Process Specification Language Enterprise modelling Process modeling Object Constraint Language Systems engineering Unified Modeling Language Science
110	Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri Technical Report TRCS[removed] Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2012-07-05 04:21:22 Systems engineering Architecture description language UML tool Software architecture Metamodeling XML Metadata Interchange Domain-specific language Profile Object Constraint Language Unified Modeling Language Software engineering Design

UPDATE